[3] The following season Mauchlen was a regular in a Kilmarnock side that stayed up despite being part-time and was one of the stars of a 2–0 win over Celtic in November 1979.
[4] In October 1982 Mauchlen transferred to Motherwell where he soon gained a strong following amongst the supporters for his organisational skill and his aggression.
[6] Mauchlen moved to Leicester City in August 1985 as part of deal that also saw teammate Gary McAllister make the switch to Filbert Street.
[3] Mauchlen joined Leeds United on loan on 12 March 1992 but left the club at the end of that month without making a first team appearance.
[9] Unable to command a regular first team place, Mauchlen was loaned to Irish Football League side Glenavon in November 1993, making the move permanent the following season.