Wok del Tajo is a buffet restaurant offering Spanish and Asian cuisine.