If the patch holds I'd give the pan a few coats of black POR-15. You can get a starter kit that includes a 16 ounce can of POR-15, Marine Clean, Metal Ready, and a few brushes for about $20.
As it was developed for salt water applications, it is heavy duty stuff and about as good as it gets for rust stopping products.
Hopefully the patch sees you through the 200k milestone as that would be a very nice milestone to achieve, especially being so close it.
-Spyder