Another option is Luna Beach Resort, which is close (walking distance) to the West End, has a pool, and is a little more upscale than other West End places. The dive shop also will cater to a junior diver. However, the dive shop operation isn't great overall. (I just returned from there). The guy who runs the shop just fired his best divemaster, Hector, and turned over much of the dive guiding to his girlfriend, who is a new instructor and a lousy dive guide. Hopefully, he will hire someone else. They also tended to overcharge for things at the end of the week.
If I were staying there again, I'd dive with a different shop, like Sueno Del Mar or West ENd DIvers.
AKR may also be a good option.