Prophylaxis of asymptomatic bacteriuria in this setting is to prevent sepsis post-procedure, not to treat asymptomatic bacteriuria.