I saw a guy with a stubby antenna...looks about an inch long. Is this an aftermarket part or OEM? Thank you.