Exactly that. I grilled them yesterday with friends.
Had my butcher sawing the bones and he gratulated for the great meat.
Will post a couple pictures.
Charcoal for 6-7 minutes per side, including bone.
Then 5 minutes rest on the cutting plate. After that, cut in small slices and served. Everyone dresses as he likes, normally good olive oil and salt. A bit of black pepper...