dublinpilot,
If I may a couple of amendments to your excellent guide, based on my recent trip.
Flight plan processing is now 30 min as of June this year.
Taxi from Airport to Waterford is around Euro 20.
Although the nominal notice time at Inishmor is 3 hours, in practice the guys are there 9 to 5 during the summer, when departing we asked, and they said just go when you want.
Aer Arann may not be able to get hold of the Inishmaan crew in time, so be ready to go to Inishmor!!