I think I've been to that Spanish restaurant (though I don't recall the name). Anyhow it was certainly in the barrio de la luz roja, and came recommended in guides, so it's probably the one. It was very Spanish, run by a Spanish family, and very busy. Worth a visit, if you can get it. We shared a table.
(I cannot help but recall that another night on the same visit to Amsterdam we ended up in an cheap Italian restaurant. There was a TV on in the corner, and at about 11pm they started showing porn movies, which rather put me off me garlicky bread sticks! This did NOT happen in the Spanish restaurant!)