If you do have your own beefy MicroSD card, you may want to consider bringing it with and using it instead of the hotel's. I remember it being a pain in the ... to get the files transferred from the GoPro -- back then it was a proprietary format, you had to install special GoPro software - and the files were massive. It's probably different tech these days, but I do have memories of impatiently waiting around for the files to transfer before returning the camera..

That way you can just take it home with you and figure out the transfer process after the fact -- leaving more time to enjoy your vacation.