Zaslat SMS: Pseudo-marginal Hamiltonian Monte Carlo