DOTS Costa Rica

This is just a normal civic si, but take note of something:

It’s got a sticker from a dealer in Texas:

http://www.machaik.com/

I wonder how it got to Costa Rica.