Brazil resellers of OpenBSD - Tempo Real?

[Austin Hook]

Does anyone know if the bookstore Tempo Real still exists and if they have
a physical mailing address?   Or does anyone know of a potential reseller
of OpenBSD in Brazil?

Austin Hook
OpenBSD Distribution