When the player doubled A8 he assigned his Ace = 1.
That's the ONLY way he can have a 9, and so double.
Changing the value of the Ace after doubling is illogical
and inconsistent on the player's part. Although it does
seem strange/odd, the casino was fair IMHO.
He should have stood on 19.
BJinNJ