You do know that you will have to remove the heads to get the lifters out.
So the smart route is to find a replacement lifter that is short in length so that when this happens again you can leave the heads on.
Let me know what you find as I am in the same boat as you.
