would you happen to still have a copy of the manual available for setting the time on a JVC KDS580 stereo? My fiance has one in his truck and we can't figure out how to change the time. Any help would be extremely appreciated! Thanks!