I often change a lifter in less than 15 mins. no fuss, no mess., no intake gasket..
Just thought you'd like to know in case there's a next time,, and, if time is an issue..
Just trying to take the "ughhh" outta it for ya,, oh well.. ... lol
hope it helps