Yes they do, it is probably a C2032, they are behind the counter so ask one of the fine people who are working there. Keep in mind that you wil have to go into bios settings to reset date and time snd possibly your drive and boot configuration.
I don't know that they would. It's just a weird battery holder so Batteries Plus would be able to make or get one.
Thanks! Your answer is awaiting moderation.