Note: This section is now in read-only mode. |
You have it correct...the manual says:
Setting MANAGER OPTIONS:
It is important to set these unless you want the ROBOT to do it for you. If you have even one pitcher not set to a role, the ROBOT will set ALL your pitcher roles for you!