How do I format an HP-48GX FRAM Card?

[JDW]

Bob, thank you for the advice.

I had actually tried the raw command "PINIT" before I posted here (based on something I Googled), but I did not try "[L-shift] [2] [NXT] [port number] [PINIT]" as you suggested. But when you say "port number" I assume you mean the card slot number, correct? It's slot 1. So I assume that means the following should be correct:

[L-shift] [2] [NXT] [1] [PINIT]

(I'm at home now and the 48GX is at the office, so I will try it tomorrow morning.)