A disk with a c value of 1/2, a mass of 3 kg, and radius of 0.59 meters, rolls without slipping down an incline with has a length of 9 meters and angle of 30 degrees. At the top of the incline the disk is spinning at 25 rad/s. What is the rotational kinetic energy of the disk at the top of the incline in Joules?