3 is exactly right. OK prices for this area (6 for a burrito, 8.30 for super nachos w/ meat, 10 for a dinner plate), not bad food though not artful (a little too gringo-style heavy on the sour cream and liquid cheese). Nothing amazing or worth going out of your way for though. It's alright in a pinch.