Looks like they are recommending a RPi kit. Board alone from that AUS supplier is about $45 USD.