[Resolvido] Problema com data na hora de gerar o feed

Galera, as datas no banco de dados do site são salvas nesse formato: "10/31/2008 1:55:55 PM"; como faço para transformar neste formato: "Fri, 31 Oct 2008 18:12:32 +0000"; para que eu possa usar no pubDate do feed; existe alguma maneira de fazer isso?? =S