A new Thai place just opened on 7th Avenue South between 21st and 22nd streets, where Anthony's used to be (next to the Asian grocery store). A thread on the Chow.com "Chowhound" boards indicates the name of it is Thai House. Early reviews on the board seem to agree that it's fine if you live or work in the area, but not worth a special trip.