Highest rated post php (max) value question

Hi There

I’m working on an existing plugin (http://wordpress.org/extend/plugins/comment-rating-field-plugin/installation/) to expand it slightly to display the highest rated restaurant.

I’ve got it to total up and echo the total amount of posts plus the value of the ratings next to the post title – Perfect – but all I want is to echo the highest rated ie the single highest rated post.

I think I need php ‘max. I know I’m close but can’t quite get it.

http://pastebin.com/AnMpjFRm

Any help much appreciated.