Ohh yeah that's better than the $90 I paid for mine. I may have my friend bring some up in a few weeks when he visits. Are they available at any parts store there?
They should be very common here in CR as I know a few friends running them here too. If he needs a source let me know