I'll bet things have changed! But I think Texcoco has a couple of three star and possibly a four star hotel. Check this link to see a list of hotels used by a recent international conference held in Texcoco for some ideas.