Tagging a hotel with a restaurant

Is it as simple as:

tourism:hotel
amenity:restaurant
name:whatever

Can

ele:1234

be added, as the ones I want to tag are mountain inns some vertical distance above the nearby village?

Thanks!

Yes, it’s that simple! You could map the hotel as a polygon and put a separate POI for the restaurant if you have that level of resolution.