Flashing the bios takes ten minutes with a thumb drive. It’s hard to get wrong but guess some people would be nervous enough about that to pay $20 extra.

I also figure the seller was just lazy to change it back.