At least twenty percent of the total amount due for prior service credit must be paid before an application for credit may be presented to the department for approval. The balance is not due until date of retirement and may be paid at that time without additional charge. Any unpaid installments at the time the member is retired for service or disability shall constitute a first, paramount, and prior lien against his or her retirement allowance.
RCW 41.32.390
Intent-1991 c 35: See note following RCW 41.26.005.