You should be able to change the width of the RadDock without applying the workaround with the latest version of RadControls for ASP.NET AJAX (2013.1.220).
All the best,
Slav
the Telerik team
If you want to get updates on new releases, tips and tricks and sneak peeks at our product labs directly from the developers working on the RadControls for ASP.NET AJAX, subscribe to their blog feed now.