.co.cr is still more popular than .cr so the ext has yet to catch up
http://www.nic.cr/niccr_publico/showStatisticsDomain.do
I don't know about local Internet penetration rates but I don't think they are huge at present.
Costa Rica is a small market anyway