You seem to be much smarter by far than 98% of the people on this list. I have been trying for a couple of days - via the Debian list yesterday - to find out how to make my linux part. bigger w/o losing everything. I'm sure the many e-mails must 'bout drive you batty some days!
I tried to find a FIPS expert via the web, but he's probably no longer there, so I forwarded it directly to you for one last try.