Was there in August. Several nearby restaurants within a 5 minute walk. Definitely have to go to Shark Bait - great burgers and other items. There's also a restaurant right next to Provo Turtle Divers (can't remember the name) that was fabulous! Great breakfasts there, too.
The on-site restaurant and bar, run separately, is also highly recommended.
Provo Turtle is somewhat associated with Turtle Cove Inn and very convenient. Did several dives with them pre-Aggressor in August and they were acceptable, but nothing to write home about. If they're going over to French Cay much better. If they're diving off Provo...eh, at least the week I was there.