The shh KO mouse [38] and TOPGal mouse [20] have previously been reported.