Josh Richards set the PRC Fast Time