I just wondered about Eurocamp bedding. We are taking our own and wondered if a double set will be okay as just read somewhere it needs to be queen size? Many thanks.