I have some friends, a family of 5, who went to Italy last year. They stayed in pricey hotels in Rome and the Amalfi coast. The last night they all discovered bed bug bites. So she called her pest control company here in Austin which just happens to be the same as mine...and asked them what to do.
They told her to have her bags wrapped in plastic so that she didn't spread them to every bag in the plane. Then he told her that when they arrived to leave their bags and everything in them in the garage, strip naked leaving the clothing they wore in the garage as well and to run in and take long hot showers. He said not to touch anything in their suitcases for two weeks while they cooked in the hot garage.
He said then to cross their fingers. Because getting rid of them would cost a few thousand dollars if they were in the house, with no guarantee of sucess. And treatment can damage furniture and other possessions (sustained high heat).
We now pay 30$ a month for bed bug insurance with this company. And my suitcase liner and seams are also treated with Permethrin.
It isn't hype. It is a very real, very pervasive problem worldwide.
Use the Permethrin. Bed bugs come out when it is dark. In daylight they hide. So check under the mattress , behind the headboard and in the seams of the matress using a flashlight. If you see them tell the hospitalero. The mattress should be removed. They are dark, the size and shape of a small apple seed. If you get them on the Camino wash everything in hot water and dry it in a machine for double the normal amount of time.