is there a part # for the OEM Shark Fin? Does anyone know a source for the part? thanks in advance!