So just as a follow up, I asked the ticket agent about lounge access and they said they didn't know anything but I could ask at the Iberia sales desk. Those folks then told me to simply go to the Royal Air Maroc Lounge, airside, on the 2nd floor roughly above Gate 6. It is a strange airport configuration: you pass through Passport Control to 'exit' Morocco but you don't go through Security screening until you enter your specific gate. Each gate in this terminal appears to have its own small security set-up.

Anyway, so we went up to the Royal Air Maroc lounge, showed the PLT card and boarding passes and were welcomed. It is just one large room really, with a self-service area providing sweet snacks and a standard assortment of drinks. They had one of those Nespresso coffee machines which I was curious to try and it was actually really good. They had 4 coffee choices. There were 3 internet terminals, though only 1 functioning, and apparently there was WIFI though I didn't have my laptop. Absolutely nothing special but there are worse ways to spend an hour or so in this airport.