Change Options to keep ED happy

Logically this is functionally identical, but closer to the original in
id names.
Larger Upgrades to Panther Rush