Random background image

OK, I know there’s a plugin to randomly swith the header image. But is there a plugin to change the background image? I’d like to use some of Squidfingers patterns (http://squidfingers.com/patterns).
Does this help (http://wordpress.org/support/topic.php?id=11010#post-65985)?