Crank pulley wasn't bad (and everyone seems to think it is.)
I put a dinky HF 3-jaw puller on it, threw an old head bolt down the hole in the middle, cranked tight. Rapped on the pulley, then got another 1/2 turn on the jaw's threading. Repeated until it came off.
Went back on with a block of wood and hammer tapping it halfway home, then the crank bolt and impact sent it the rest of the way.
Biggest deal is the stupid brace, and jacking the engine so high it started pulling up on the radiator via lower hose.
Still, the whole car is eerily close to a saturn s-series. Both take autolite 3923 plugs, fram 3614 filters, and 175/70/14 tires. Having done an s-series timing chain, neon belts aren't that onerous.