> Should he get a refund if Oracle stock tanks?

Presumably it would function the same way as realized capital gains taxes (no refund on tax already paid)?