I think I just upgraded to mini 5.1. It was an OTA update and works fine. My regular one is 9.7 which must be stuck in the ROM from Sprint as I cannot remove it. I can see why people go for custom ROMs...
__________________
Sprint: G1000, HTC-6600, 6800, TP2 now Optimus S with Stock Android 2.2.2.