The only reason I gave this less than 4 stars, is because it shouldn't take 24 hrs to have the download available. I was surprised to find that I had to wait until the next day to be able to download the manual that I paid for.
The manual itself is the correct manual.
Perfect quality, highly appreciated service !!!
Fast delivery of the download info, no issues at all. Recommended E-manual shop !!!
Text excerpt from page 30 (click to view)
Griddle
Installing
You can install a griddle accessory on the left basin of your cooktop (and in the right basin of model RC8700ED). To use this accessory you must have grill accessory Part Number RCM20DB. To get the griddle accessory, order Part Number RCM40DB from a Whirlpool service company or dealer (see Step 2 on page 38) or call the Whirlpool Consumer Assistance Center toll-free 1-800-253-1301.
Terminal receptacle Terminal plug
1. Make sure the grill element and grillrocks are installed and the control knobs are turned off.
Grill-rock
Handle Basin pan
Position the grill element with the terminal plug towards the terminal receptacle. Slide the element towards the receptacle until the terminal plug is all the way inside it. The grill element should rest on the handles of the grill-rocks. NOTE: Do not use the grill grates.
Drain holes
2. If grill element is not installed, place the two grill-rocks into an empty basin pan. The grill-rock handles must run parallel to the front of the cooktop. You have to use the grill-rocks because they hold up the grill element. 3. Place the griddle over the grill element so that the drain holes are in front. This will let extra grease collect in the drain jar. NOTE: The bottom of the griddle should make contact with the top of the grill element.