I dont like his line no matter what cards he holds. However I think I would fold this to the push. He might have a lower pair but the check/call push makes me think he has the case A or just turned Aces full of Kings and decided he is not folding to a bet so he just pushes. At the $15+1 on stars I saw check/call push with the nuts somewhat frequently. Just my opinion and I might be wrong.