It's the same hotel, not actually 100% sure which way is correct! It's either Coma Pedrosa or Comapedrosa, named after one of the mountains here.
Compa Pedrosa / Compedrosa
Can someone please confirm if Coma Pedrosa and Comapedrosa are the same hotel - the booking confirmation says Comapedrosa but I can only see Coma Pedrosa on the Arinsal resort map. And there's both Compa Pedrosa and Comapedrosa on Trip Advisor,
I can't imagine that there would be 2 hotels in Arinsal with such similar names but I just wanted to check so we know where we're going when we get to Arinsal!