Generation of Kcnma1fl-tdTomato, a conditional deletion of the BK channel α subunit in mouse