You might also know this place by the following names:
Quinta de Santo António, Quinta de Santo Antonio