Can't say I have ... I use a piece of thin bungee "shock cord" with a hook on one end, secured to a small padeye under the lid and hooked to the lifeline. Especially handy at the anchor locker, to keep from getting your toes chopped.
$tingysailor had (has?) a stainless gas-piston setup, a bit more high tech, but costlier.