Lightening the Mood at Higher Levels

[Chrion]

My PCs are about to hit lvl 13 and they have just been through a bit of a dungeon crawl grind with a lot of doom and gloom stuff going on. So, I want to lighten the mood for them for a while and give them the chance to do some fun stuff with relatively low stakes. Is there a module or something that would be level appropriate for them that is kind of light? What would be a good way of going about doing something like this?

[DeathlessOne]

The Ruby Phoenix Tournament might be a good, short side adventure for them. It is made for a group of 11th level characters, but you can tweak it to make up for the level differences. I've run people through it a few times and had fun each time.

[Bjørn Røyrvik]

My players' characters were feeling a bit stressed from all the grind of running domains, saving countries/continents etc., so they went on vacation. Luckily, the country of Ierendi is a tropical vacation paradise. Not only are there resorts and beaches and warm water, there are adventure parks. Adventure parks exist so that normies can feel like they are on a real adventure without the danger.
The PCs, being ca 17th level or so at the time, signed up for one of these, shucked their gear and switched roles. The sorcerer was the frontliner, the paladin was the arcane caster (a couple of wands with 1st level spells and few charges remaining) and the cleric was the 'Thief'. They had to rescue the villagers from a band of orcs lead by a hill giant.

Everyone had a blast.